141. A guided tour of artificial intelligence research.

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Artificial intelligence. ;

142. A hybrid deliberative layer for robotic agents

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Robotics

رده :
TJ211
.
H37
2011eb

143. A layered declarative approach to ontology translation with knowledge preservation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

رده :
Q
387
.
C67
2005

144. A logical language for data and knowledge bases

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، LDL )Computer program language(,، Database management,، Artificial intelligence

رده :
QA
76
.
73
.
L15
N36
1989

145. A logical theory of nonmonotonic inference and belief change

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Belief and doubt.,Expert systems (Computer science),Nonmonotonic reasoning.

رده :
Q339
.
2
A449
2011

146. A logical theory of nonmonotonic inference and belief change

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Nonmonotonic reasoning,، Belief and doubt,، Expert systems )Computer science(

رده :
Q
339
.
2
.
B63
2001

147. A many-sorted calculus based on resolution and paramodulation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Automatic theorem proving.

148. A many-valued approach to deduction and reasoning for artificial intelligence /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Cognition.,Computational linguistics.

149. A matrix algebra approach to artificial intelligence

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Matrices. ;

150. A methodological approach to sustainable resources utilization in Indonesia:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Applied sciences,artificial intelligence,Earth sciences,Geography,GIS,Social sciences

151. A methodology for uncertainty in knowledge-based systems

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Expert systems )Computer science(,، Uncertainty )Information theory(

رده :
QA
76
.
L4
v
.
419

152. A methodology for uncertainty in knowledge-based systems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Expert systems )Computer science(,، Uncertainty )Information theory(

رده :
QA
76
.
L28
Vol
.
419

153. A multilingual dictionary of artificial intelligence english, german, french, apanish, italian

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Artificial intelligence- Dictionaries-- Polyglot,، Dictionaries, polyglot

رده :
Q
334
.
2
.
V6M8

154. A networked self and human augmentics, artificial intelligence, sentience /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence-- Psychological aspects.,Assistive computer technology.,Human-machine systems.,Self.,Assistive computer technology.,Human-machine systems.,Self.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.

رده :
TA167
.
N35
2018eb

155. A new kind of computational biology :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata.,Computational biology.,Computation by Abstract Devices.,Computational Biology/Bioinformatics.,Microbial Genetics and Genomics.,Proteomics.,Cellular automata.,Computational biology.,Computers-- Computer Science.,Computers-- Machine Theory.,Life sciences: general issues.,Microbiology (non-medical),Proteins.,Science-- Life Sciences-- Biochemistry.,Science-- Life Sciences-- Biology-- Microbiology.,User interface design & usability.

رده :
QA267
.
5
.
C45

156. A novel combinational of filters for image classification, Breast cancer as a case study

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Gabor filter bank, Law’s features, Fourier Transform, Wavelet transform, Support Vector Machine, Wavelet Pocket transform.,بانک فیلتر گابور، تبدیل فوریه، تبدیل موجک، یادگیری ماشین، ماشین بردار پشتیبانی، تبدیل موجک پاکتی.

157. A paraconsistent decision-making method /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.

رده :
Q342

158. A perspective of constraint-based reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.

رده :
QA75
.
E358
1992

159. A perspective of constraint-based reasoning : an introductory tutorial

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Constraints )Artificial intelligence(,، Reasoning

رده :
QA
76
.
L28
Vol
.
597

160. A practical guide to scientific data analysis

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Science, Statistical methods,Experimental design

رده :
QA279
.
L597
2009